Michael Kifer: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (26)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Declarative Logic Programming: Theory, Systems, and Applications

Declarative Logic Programming: Theory, Systems, and Applications

Association for Computing Machinery and Morgan & Claypool Publishers

Michael Kifer, Yanhong Annie Liu, (eds.)

Տարի:

2018

Լեզու:

english

Ֆայլ:

PDF, 15.77 MB

0 / 0

english, 2018

2

Declarative Logic Programming: Theory, Systems, and Applications

Declarative Logic Programming: Theory, Systems, and Applications

Association for Computing Machinery and Morgan & Claypool Publishers

Michael Kifer, Yanhong Annie Liu, (eds.)

Տարի:

2018

Լեզու:

english

Ֆայլ:

EPUB, 12.28 MB

0 / 0

english, 2018

3

DATABASE SYSTEMS AN APPLICATION-ORIENTED APPROACH SECOND EDITION (SOLUTION MANUAL)

DATABASE SYSTEMS AN APPLICATION-ORIENTED APPROACH SECOND EDITION (SOLUTION MANUAL)

Michael Kifer, Arthur Bernstein, Philip Lewis

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 1.29 MB

0 / 0

english, 2005

4

Declarative Logic Programming: Theory, Systems, and Applications

Declarative Logic Programming: Theory, Systems, and Applications

Association for Computing Machinery and Morgan & Claypool Publishers

Michael Kifer, Yanhong Annie Liu, (eds.)

Տարի:

2018

Լեզու:

english

Ֆայլ:

PDF, 4.84 MB

0 / 4.0

english, 2018

5

Declarative Logic Programming: Theory, Systems, and Applications

Declarative Logic Programming: Theory, Systems, and Applications

Association for Computing Machinery and Morgan & Claypool Publishers

Michael Kifer, Yanhong Annie Liu, (eds.)

Տարի:

2018

Լեզու:

english

Ֆայլ:

PDF, 2.85 MB

0 / 0

english, 2018

6

Logical Foundations of Object oriented and Frame based Languages

Logical Foundations of Object oriented and Frame based Languages

Journal of the Association for Computing Machinery

Michael Kifer, Georg Lausen, James Wu

Տարի:

1995

Լեզու:

english

Ֆայլ:

PDF, 683 KB

0 / 0

english, 1995

7

Journal on Data Semantics IX

Journal on Data Semantics IX

Springer-Verlag Berlin Heidelberg

Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 4.67 MB

0 / 0

english, 2007

8

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Dedu

Springer-Verlag Berlin Heidelberg

Anthony J. Bonner, Michael Kifer (auth.), Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 6.66 MB

0 / 0

english, 1998

9

Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 5.36 MB

0 / 0

english, 2005

10

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 5.13 MB

0 / 0

english, 2008

11

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.25 MB

0 / 0

english, 2011

12

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 4.77 MB

0 / 0

english, 2011

13

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Diego Calvanese, Georg Lausen (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 3.68 MB

0 / 0

english, 2008

14

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 5.09 MB

0 / 5.0

english, 2011

15

The Semantic Web: Research and Applications: 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

The Semantic Web: Research and Applications: 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Ron Brachman (auth.), Enrico Franconi, Michael Kifer, Wolfgang May (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 33.16 MB

0 / 5.0

english, 2007

16

Journal on Data Semantics IX

Journal on Data Semantics IX

Springer-Verlag Berlin Heidelberg

Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 13.29 MB

0 / 5.0

english, 2007

17

Introduction to Operating System Design and Implementation: The Osp 2 Approach

Introduction to Operating System Design and Implementation: The Osp 2 Approach

Michael Kifer, Scott Smolka

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.92 MB

0 / 0

english, 2007

18

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

Springer International Publishing

Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao (eds.)

Տարի:

2017

Լեզու:

english

Ֆայլ:

PDF, 11.40 MB

0 / 0

english, 2017

19

Introduction to Operating System Design and Implementation: The OSP 2 Approach (Undergraduate Topics in Computer Science)

Introduction to Operating System Design and Implementation: The OSP 2 Approach (Undergraduate Topics in Computer Science)

Kifer, Michael, Smolka, Scott

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.54 MB

0 / 0

english, 2007

20

Journal on Data Semantics VIII

Journal on Data Semantics VIII

Springer-Verlag Berlin Heidelberg

Julien Velcin, Jean-Gabriel Ganascia (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 2.62 MB

0 / 0

english, 2007

21

Journal on Data Semantics IX

Journal on Data Semantics IX

Springer-Verlag Berlin Heidelberg

Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 13.52 MB

0 / 0

english, 2007

22

The Semantic Web: Research and Applications: 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

The Semantic Web: Research and Applications: 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Ron Brachman (auth.), Enrico Franconi, Michael Kifer, Wolfgang May (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 19.34 MB

0 / 0

english, 2007

23

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992

Springer-Verlag London

Anthony J. Bonner, Michael Kifer (auth.), V. S. Alagar PhD, Laks V. S. Lakshmanan PhD, F. Sadri PhD (eds.)

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 7.01 MB

0 / 0

english, 1993

24

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 6.90 MB

0 / 0

english, 2008

25

Journal on Data Semantics VIII

Journal on Data Semantics VIII

Springer-Verlag Berlin Heidelberg

Julien Velcin, Jean-Gabriel Ganascia (auth.), Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 3.71 MB

0 / 0

english, 2007

26

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Kifer (auth.), Diego Calvanese, Georg Lausen (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 2.98 MB

0 / 0

english, 2008